首页> 外文OA文献 >Engineering and verifying agent-oriented requirements augmented by business constraints with B-Tropos

【2h】

Engineering and verifying agent-oriented requirements augmented by business constraints with B-Tropos

机译：使用B-Tropos来设计和验证面向代理的需求，并通过业务约束来增强其需求

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Montali, M; Torroni, P; Zannone, N Nicola; Mello, P; Bryl, V;
展开▼
作者单位

展开▼
年度 2011
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Engineering and verifying agent-oriented requirements augmented by business constraints with ss-Tropos [J] . Marco Montali, Paolo Torroni, Nicola Zannone, Autonomous agents and multi-agent systems . 2011,第2期

机译：使用ss-Tropos进行业务约束，以工程和验证面向代理的需求
2. Specifying and Verifying Cross-Organizational Business Models: An Agent-Oriented Approach [J] . Telang Pankaj R., Singh Munindar P. Services Computing, IEEE Transactions on . 2012,第3期

机译：指定和验证跨组织业务模型：面向代理的方法
3. Modeling the Imprecise Relationship of Goals for Agent-Oriented Requirements Engineering [J] . SHAOKun, LIUZongtian 电子学报：英文版 . 2004,第001期

机译：面向代理的需求工程中目标的不精确关系建模
4. B-Tropos Agent-Oriented Requirements Engineering Meets Computational Logic for Declarative Business Process Modeling and Verification [C] . Volha Bryl, Paola Mello, Marco Montali, International Workshop on Computational Logic in Multi-Agent Systems . 2008

机译：B-Tropos Agent型要求工程符合声明性商业流程建模和验证的计算逻辑
5. Modeling mental states in requirements engineering: An agent-oriented framework based on i(star) and CASL [D] . Lapouchnian, Alexei 2004

机译：在需求工程中对心理状态进行建模：基于i（star）和CASL的面向代理的框架
6. Unpacking the ‘Business Model’ for Fortification Initiatives in Low- and Middle-Income Countries: Stakeholder Identified Drivers of Success and Constraints to Progress [O] . Baqir Lalani, Michael Ndegwa, Ben Bennett 2020

机译：解开低收入和中等收入国家的设防举措的商业模式：利益攸关方确定了成功的驱动因素和抑制进展
7. Engineering and verifying agent-oriented requirements augmented by business constraints with $${mathcal{B}}$$ -Tropos [O] . Marco Montali, Paolo Torroni, Nicola Zannone, 2010

机译：通过$$ { mathcal {B}} $$ -Tropos通过业务约束增强了对面向代理的需求的工程设计和验证
8. Integrating Requirements Engineering, Modeling, and Verification Technologies into Software and Systems Engineering; Final rept. 1 Aug 2003-31 Jul 2007 [R] . Broy, M., Leucker, M. 2007

机译：将需求工程，建模和验证技术集成到软件和系统工程中;最终的评论。 2003年8月1日至2007年7月31日

Engineering and verifying agent-oriented requirements augmented by business constraints with B-Tropos

著录项

引文网络

相似文献

相关主题

期刊订阅